- 类型论, 类型理论
- 逻辑类型
- type: n. 1.型，类型，(工业产品的)品种；风格，型式。 2 ...
- theory: n. 1.理论，学理，原理。 2.学说，论说 (opp. ...
- s type theory: 乔施类型理论; 杨施的类型理论
- biological theory of sex type: 性别类型的生物学理论
- blood type theory: 血型说
下载手机词典可随时随地查词查翻译
type theory中文什么意思
- 类型论, 类型理论
- 逻辑类型
下载手机词典可随时随地查词查翻译
例句与用法
- 更多例句： 下一页
- The handling of faults in the originals with newmark ' s text type theory is analyzed
用纽马克的文本分类法来分析对不同原文失误的处理策略。 - Application of statistical idea and the triple - type theory in the scientific research of biomedicine
统计学思想与三型理论在生物医学科研中的应用 - Lastly , the problem of software evolution caused by introducing agent model is studied based on an architecture description language named c2 adl and software architecture type theory
最后，基于c2adl和软件体系结构的类型理论，系统地研究了引入agent模型产生的软件演化问题。 - A new approach to domain - specific reasoning is presented that is based on a type - theoretic logical framework but does not require the user to be an expert in type theory
本文提出一种新的基于类型理论逻辑框架lf的特定论域推理途径lftop 。在此途径下，用户可以不必是类型理论方面的专家。 - Thus , the complexity of the logical framework is hidden but the benefits of using type theory and its related tools are retained , such as precision and machine - checkable proofs
由此,逻辑框架的复杂性就被隐藏起来了,同时我们还保留了精确性和机器验证等使用类型理论系统及其相关工具的优点。
百科释义
In mathematics, logic, and computer science, type theory generally refers to a class of formal systems, some of which can serve as alternatives to naive set theory as a foundation for all mathematics. In type theory, every "term" has a "type" and operations are restricted to terms of a certain type.
详细百科解释